<?php
	//set the local user variable to what the session user is
	$user = $_SESSION['user'];
	
	//print($user);
?>